1. Logical Foundations of Cyber-Physical Systems /
Author: by André Platzer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.,Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.
Classification :
QA8
.
9-QA10
.
3
2. Logical analysis of hybrid systems
پدیدآورنده : Andre Platzer
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Logical analysis of hybrid systemsproving theorems for complex dynamics
Author: Platzer, Andre
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، System analysis,، Hybrid systems,، Electronic books
Classification :
T
57
.
6
.
P53
4. Logical foundations of cyber-physical systems /
Author: André Platzer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Autonomic computing.,Cooperating objects (Computer systems),Cybernetics.,Embedded computer systems.,Autonomic computing.,Cooperating objects (Computer systems),Cybernetics.,Embedded computer systems.
Classification :
TJ213
.
P537
2018
5. Logical foundations of cyber-physical systems /
Author: André Platzer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Autonomic computing.,Cooperating objects (Computer systems),Cybernetics.,Embedded computer systems.,Autonomic computing.,Cooperating objects (Computer systems),Cybernetics.,Embedded computer systems.
Classification :
TJ213
.
P537
2018
